finite solvable group

有限可解群